Making knowledge explicit: How hard it is

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Making knowledge explicit: How hard it is

Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...

متن کامل

TR-2005003: Making Knowledge Explicit: How Hard It Is

Artemov’s logic of proofs LP is a complete calculus of propositions and proofs, which is now becoming a foundation for the evidence-based approach to reasoning about knowledge. Additional atoms in LP have form t : F , read as “t is a proof of F” (or, more generally, as “t is an evidence for F”) for an appropriate system of terms t called proof polynomials. In this paper, we answer two well-know...

متن کامل

Platelet Refractoriness and how it is formed

Abstract Background and Objectives Transfusion of platelet has become one of the main treatments for thrombocytopenic patients to reduce the severity and frequency of bleeding consequences. Failure to attain the desired level of platelets in a patient following platelet transfusion is defined as platelet refractoriness. The purpose of present paper is to review and study the mechanisms involve...

متن کامل

his massive Making It Explicit.

284 the fundamental philosophical lessons of EPM. Brandom's study guide and deVries and Triplett's commentary are complementary rather than competing accounts of Sellars's essay. Here we have Brandom's prolegomenon to any future attempt to make it through his massive Making It Explicit. There is nothing in [the six chapters that make up the body of Articulating Reasons] that will come as a surp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2006

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2006.03.010